<html>
<head><meta charset="utf-8"><title>2020-07-09 meeting agenda · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html">2020-07-09 meeting agenda</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="202721275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/202721275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#202721275">(Jul 02 2020 at 17:43)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> I've just created our next meeting agenda <a href="https://hackmd.io/8nGY3590Q6yvTDmX6rp5Kg">https://hackmd.io/8nGY3590Q6yvTDmX6rp5Kg</a> from the template. Feel free to start filling parts of it at your will, of course as always, closer to the meeting date we are going to properly review and tidy it up.</p>



<a name="203264888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203264888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203264888">(Jul 08 2020 at 13:11)</a>:</h4>
<p>I'm preparing a first version of the agenda with all the information we've collected</p>



<a name="203269081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203269081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203269081">(Jul 08 2020 at 13:48)</a>:</h4>
<p><span class="user-mention" data-user-id="120823">@DPC</span> <a href="https://rust-lang-nursery.github.io/rust-toolstate/">https://rust-lang-nursery.github.io/rust-toolstate/</a></p>



<a name="203269107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203269107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203269107">(Jul 08 2020 at 13:49)</a>:</h4>
<p>there are some tools failing, I'm pretty sure everyone is aware about this, right?</p>



<a name="203272727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203272727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203272727">(Jul 08 2020 at 14:19)</a>:</h4>
<p>sure will ping them again</p>



<a name="203275033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275033">(Jul 08 2020 at 14:37)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> <a href="https://hackmd.io/8nGY3590Q6yvTDmX6rp5Kg">the agenda</a> first version is ready</p>



<a name="203275072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275072">(Jul 08 2020 at 14:37)</a>:</h4>
<p>there are some missing descriptions in beta nominations</p>



<a name="203275091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275091">(Jul 08 2020 at 14:37)</a>:</h4>
<p>Will take a look then <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="203275098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275098">(Jul 08 2020 at 14:37)</a>:</h4>
<p>and the agenda looks short this time</p>



<a name="203275162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275162">(Jul 08 2020 at 14:38)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203275091">said</a>:</p>
<blockquote>
<p>Will take a look then :)</p>
</blockquote>
<p>I was going to do that but if you want to help more than welcome</p>



<a name="203275164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275164">(Jul 08 2020 at 14:38)</a>:</h4>
<p>How many noms do we have?</p>



<a name="203275166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275166">(Jul 08 2020 at 14:38)</a>:</h4>
<p>1</p>



<a name="203275177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275177">(Jul 08 2020 at 14:38)</a>:</h4>
<p>I meant, 1 <code>I-nominated</code></p>



<a name="203275188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275188">(Jul 08 2020 at 14:38)</a>:</h4>
<p>2 beta nominations</p>



<a name="203275209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275209">(Jul 08 2020 at 14:38)</a>:</h4>
<p>So let's nominate a few <code>P-high</code>s? <span aria-label="grinning face with smiling eyes" class="emoji emoji-1f601" role="img" title="grinning face with smiling eyes">:grinning_face_with_smiling_eyes:</span></p>



<a name="203275224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275224">(Jul 08 2020 at 14:38)</a>:</h4>
<p>the other thing we could do is look for things that are worth nominating ... right :)</p>



<a name="203275238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275238">(Jul 08 2020 at 14:39)</a>:</h4>
<p>We had the same thought x)</p>



<a name="203275249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275249">(Jul 08 2020 at 14:39)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> do you want to nominate something and I can add some descriptions about beta nominations?</p>



<a name="203275286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275286">(Jul 08 2020 at 14:39)</a>:</h4>
<p>or feel free to shoot some issues that may worth nominating here and we can discuss</p>



<a name="203275305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275305">(Jul 08 2020 at 14:39)</a>:</h4>
<p>Second solution looks best to me</p>



<a name="203275795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275795">(Jul 08 2020 at 14:43)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/73565">#73565</a> (PR for <a href="https://github.com/rust-lang/rust/issues/68536">#68536</a>) seems to be stalled out, may be worth pinging reviewers/author?</p>



<a name="203275828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275828">(Jul 08 2020 at 14:43)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203275305">said</a>:</p>
<blockquote>
<p>Second solution looks best to me</p>
</blockquote>
<p>what do you mean?</p>



<a name="203275912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275912">(Jul 08 2020 at 14:44)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203275828">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203275305">said</a>:</p>
<blockquote>
<p>Second solution looks best to me</p>
</blockquote>
<p>what do you mean?</p>
</blockquote>
<p>I'd rather discuss the issues to nominate than directly nominate them myself</p>



<a name="203275930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275930">(Jul 08 2020 at 14:44)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203275795">said</a>:</p>
<blockquote>
<p><a href="https://github.com/rust-lang/rust/issues/73565">#73565</a> (PR for <a href="https://github.com/rust-lang/rust/issues/68536">#68536</a>) seems to be stalled out, may be worth pinging reviewers/author?</p>
</blockquote>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="203275945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275945">(Jul 08 2020 at 14:44)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/73030">#73030</a> hasn't got any progress for a month</p>



<a name="203275946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275946">(Jul 08 2020 at 14:44)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203275795">said</a>:</p>
<blockquote>
<p><a href="https://github.com/rust-lang/rust/issues/73565">#73565</a> (PR for <a href="https://github.com/rust-lang/rust/issues/68536">#68536</a>) seems to be stalled out, may be worth pinging reviewers/author?</p>
</blockquote>
<p>that's waiting on author and will be picked up by wg-triage</p>



<a name="203275953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203275953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203275953">(Jul 08 2020 at 14:44)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203275912">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203275828">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203275305">said</a>:</p>
<blockquote>
<p>Second solution looks best to me</p>
</blockquote>
<p>what do you mean?</p>
</blockquote>
<p>I'd rather discuss the issues to nominate than directly nominate them myself</p>
</blockquote>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="203276202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203276202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203276202">(Jul 08 2020 at 14:46)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203275795">said</a>:</p>
<blockquote>
<p><a href="https://github.com/rust-lang/rust/issues/73565">#73565</a> (PR for <a href="https://github.com/rust-lang/rust/issues/68536">#68536</a>) seems to be stalled out, may be worth pinging reviewers/author?</p>
</blockquote>
<p>cc <span class="user-mention" data-user-id="116118">@Matthew Jasper</span></p>



<a name="203276832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203276832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203276832">(Jul 08 2020 at 14:51)</a>:</h4>
<p>Maybe we can nominate <a href="https://github.com/rust-lang/rust/issues/58368">#58368</a>? It's a compile time regression that hasn't made any progress since Feb 2019</p>



<a name="203277082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277082">(Jul 08 2020 at 14:53)</a>:</h4>
<p><span class="user-mention" data-user-id="120823">@DPC</span> this one <a href="https://github.com/rust-lang/rust/issues/74131">#74131</a> needs a <code>@bors retry</code> I guess?</p>



<a name="203277110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277110">(Jul 08 2020 at 14:53)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203276832">said</a>:</p>
<blockquote>
<p>Maybe we can nominate <a href="https://github.com/rust-lang/rust/issues/58368">#58368</a>? It's a compile time regression that hasn't made any progress since Feb 2019</p>
</blockquote>
<p>checking ...</p>



<a name="203277207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277207">(Jul 08 2020 at 14:54)</a>:</h4>
<p>checking</p>



<a name="203277314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277314">(Jul 08 2020 at 14:55)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203276832">said</a>:</p>
<blockquote>
<p>Maybe we can nominate <a href="https://github.com/rust-lang/rust/issues/58368">#58368</a>? It's a compile time regression that hasn't made any progress since Feb 2019</p>
</blockquote>
<p>what would be the nomination intent?</p>



<a name="203277324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277324">(Jul 08 2020 at 14:55)</a>:</h4>
<p>to raise awareness I guess?</p>



<a name="203277330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277330">(Jul 08 2020 at 14:55)</a>:</h4>
<p>retried</p>



<a name="203277381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277381">(Jul 08 2020 at 14:55)</a>:</h4>
<p>I was pretty surprised that a regression that's considered big hasn't made any progress in such a long time</p>



<a name="203277481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277481">(Jul 08 2020 at 14:56)</a>:</h4>
<p>right</p>



<a name="203277484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277484">(Jul 08 2020 at 14:56)</a>:</h4>
<p>me too</p>



<a name="203277487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277487">(Jul 08 2020 at 14:56)</a>:</h4>
<p>let's nominate</p>



<a name="203277508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277508">(Jul 08 2020 at 14:56)</a>:</h4>
<p>Btw we have no <code>P-high</code> beta regressions and only one <code>P-high</code> nightly regression right now</p>



<a name="203277605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277605">(Jul 08 2020 at 14:57)</a>:</h4>
<p>The nightly one is <a href="https://github.com/rust-lang/rust/issues/72470">#72470</a>, waiting for a comment from <code>@xtutu</code></p>



<a name="203277720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203277720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203277720">(Jul 08 2020 at 14:58)</a>:</h4>
<p>It's assigned to <span class="user-mention silent" data-user-id="116083">pnkfelix</span> anyway so I don't think we should nominate it</p>



<a name="203278016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203278016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203278016">(Jul 08 2020 at 15:00)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="203278067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203278067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203278067">(Jul 08 2020 at 15:00)</a>:</h4>
<p>also pinged T-compiler people so others can also think about nominating important stuff</p>



<a name="203278099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203278099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203278099">(Jul 08 2020 at 15:01)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-09.20meeting.20agenda/near/203277487">said</a>:</p>
<blockquote>
<p>let's nominate</p>
</blockquote>
<p>did you nominate it? should I?</p>



<a name="203279438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203279438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203279438">(Jul 08 2020 at 15:11)</a>:</h4>
<p>Just nominated it</p>



<a name="203289949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203289949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203289949">(Jul 08 2020 at 16:28)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> any idea why <a href="https://github.com/rust-lang/rust/issues/74150">#74150</a> nomination didn't open a zulip topic?</p>



<a name="203294591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203294591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203294591">(Jul 08 2020 at 17:07)</a>:</h4>
<p>No idea <span aria-label="confused" class="emoji emoji-1f615" role="img" title="confused">:confused:</span></p>



<a name="203298589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203298589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203298589">(Jul 08 2020 at 17:41)</a>:</h4>
<p>Oh, once again, <code>I-nominated</code> added before <code>T-compiler</code></p>



<a name="203298671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203298671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203298671">(Jul 08 2020 at 17:42)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> right, should we check if we add <code>T-compiler</code> to see if it already contains <code>I-nominated</code>?</p>



<a name="203298733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203298733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203298733">(Jul 08 2020 at 17:42)</a>:</h4>
<p>I think this is so common that it may worth adding those checks</p>



<a name="203299339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203299339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203299339">(Jul 08 2020 at 17:46)</a>:</h4>
<p>Mhh, I wonder how I should do that</p>



<a name="203299603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203299603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203299603">(Jul 08 2020 at 17:48)</a>:</h4>
<p>Right now the bot only checks the event if the label added is <code>I-nominated</code></p>



<a name="203299626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203299626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203299626">(Jul 08 2020 at 17:49)</a>:</h4>
<p>what about also checking for <code>T-compiler</code> ?</p>



<a name="203299663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203299663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203299663">(Jul 08 2020 at 17:49)</a>:</h4>
<p>and inside seeing if the issue already have <code>I-nominated</code></p>



<a name="203299692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203299692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203299692">(Jul 08 2020 at 17:49)</a>:</h4>
<p>in that case create a topic otherwise do nothing</p>



<a name="203299720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203299720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203299720">(Jul 08 2020 at 17:49)</a>:</h4>
<p>That's one option, but I wonder how I could handle that in terms of data structures etc...</p>



<a name="203299813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203299813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203299813">(Jul 08 2020 at 17:50)</a>:</h4>
<p>Right now it's a <code>HashMap</code> with <code>I-nominated</code> as its key</p>



<a name="203300033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203300033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203300033">(Jul 08 2020 at 17:52)</a>:</h4>
<p>make it be "I-nominated|T-compiler" and split by "|"</p>



<a name="203300042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09%20meeting%20agenda/near/203300042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-09.20meeting.20agenda.html#203300042">(Jul 08 2020 at 17:52)</a>:</h4>
<p>just in case, I'm kidding <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>